An algebraic model for the modal logic KD

نویسندگان

چکیده

Deontic logic is a branch of symbolic interested in notions such as obligatory, permissible, optional, ought, and others similar. There are some equivalent ways to present the Standard Logic or KD. In this paper, we will mention them highlight one that interest. With presentation can propose simple algebraic model for Logic.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

AN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC

In this paper we extend the notion of  degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and  introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...

متن کامل

Algebraic Tools for Modal Logic

Monotone bounded distributive lattice expansions (DLMs) are boundeddistributive lattices augmented by nitary operations that are isotone orantitone in each coordinate. Such algebras encompass most algebras withbounded distributive lattice reducts that arise from logic, and general-ize bounded distributive lattices with operators. We de ne the canonicalextension for DLMs and ...

متن کامل

an algebraic structure for intuitionistic fuzzy logic

in this paper we extend the notion of  degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and  introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. it would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. we give the main properties of the operations defined and prove som...

متن کامل

Modal Logic and Algebraic Specifications

The established approaches to the semantics of algebraic (equational) speciications are based on a category-theoretic perspective. When possible interpretations are viewed as a category, the extreme points|the initial and nal algebras|present themselves as natural candidates for the canonical interpretation. However, neither choice provides a satisfactory solution for incomplete speciications o...

متن کامل

an application of fuzzy logic for car insurance underwriting

در ایران بیمه خودرو سهم بزرگی در صنعت بیمه دارد. تعیین حق بیمه مناسب و عادلانه نیازمند طبقه بندی خریداران بیمه نامه براساس خطرات احتمالی آنها است. عوامل ریسکی فراوانی می تواند بر این قیمت گذاری تاثیر بگذارد. طبقه بندی و تعیین میزان تاثیر گذاری هر عامل ریسکی بر قیمت گذاری بیمه خودرو پیچیدگی خاصی دارد. در این پایان نامه سعی در ارائه راهی جدید برای طبقه بندی عوامل ریسکی با استفاده از اصول و روش ها...

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Cognitio

سال: 2022

ISSN: ['1518-7187', '2316-5278']

DOI: https://doi.org/10.23925/2316-5278.2022v23i1:e59916